Formal verification tool "SPARK Pro"
A tool suite that integrates formal verification and static verification to minimize program errors.
"SPARK Pro" is a toolset that uses a formally verifiable subset of the Ada 2012 language, bringing mathematically based reliability to software verification. With this product, you can formally define and automatically verify software architecture requirements. It can reduce runtime errors and guarantee properties for a wide range of software integrity, such as the application of safety properties or security policies, and compliance with functional accuracy (conformance to formally defined specifications). [Features] - Data flow analysis - Information flow analysis - Detection of runtime exceptions - Property checking - Level-based verification *For more details, please refer to the PDF materials or feel free to contact us.
- Company：アイティアクセス 本社
- Price：Other
